General topology

Results: 894



#Item
241Sheaf theory / Sheaf / Topos / Grothendieck topology / Continuous function / Coherent topology / Category / Cartesian closed category / Topological space / Topology / Mathematics / General topology

A constructive manifestation of the Kleene–Kreisel continuous functionals Mart´ın Escard´o and Chuangjie Xu University of Birmingham, UK Version of March 27, 2015.

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2015-03-27 08:25:57
242Order theory / Lattice theory / Algebraic structures / General topology / Functions and mappings / Distributive lattice / Ideal / Filter / Boolean algebra / Mathematics / Abstract algebra / Structure

Joseph MuscatOrdered Sets The morphisms on a relation (digraph)

Add to Reading List

Source URL: staff.um.edu.mt

Language: English - Date: 2012-11-15 05:04:30
243General topology / Connected space

Scalable Detection of Anomalous Patterns with Connectivity Constraints Skyler Speakman, Ed McFowland III, Daniel B. Neill Event and Pattern Detection Lab H.J. Heinz III College

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2013-05-30 15:23:26
244General topology / Topos / Baire space / Continuous function / Space / Ordinal number / Cantor space / Grothendieck topology / Constructible universe / Topology / Mathematics / Sheaf theory

Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2014-07-02 11:28:23
245Disjoint-set data structure / Disjoint sets / Connected space / Category of sets / Partition refinement / Mathematics / Data structures / General topology

COMS21103 Disjoint sets and minimum spanning trees Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-01-08 09:09:08
246Alexandrov topology / Quotient space / Sequential space / Disjoint union / Net / Topological space / Continuous function / Ordinal number / Order topology / Topology / General topology / Subspace topology

On hereditary coreflective subcategories of Top Martin Sleziak () Department of Algebra and Number Theory, FMFI UK, Mlynsk´ a dolina, Bratislava, Slovakia Abstract. Let A be a topological spa

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English - Date: 2005-09-13 11:35:57
247Internet standards / Tunneling protocols / Network protocols / Ethernet / Network topology / Router / Multiprotocol Label Switching / MPLS-TP / Network architecture / Computer architecture / Computing

c1e-32060_SlickBuilder-General_v3.indd

Add to Reading List

Source URL: www.belltechlogix.com

Language: English - Date: 2014-10-23 15:36:54
248Type theory / Dependently typed programming / Computability theory / General topology / Net / Inductive data type / Constructible universe / Inductive reasoning / Linear logic / Logic / Mathematical logic / Mathematics

Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
249Continuous function / Metric space / Hausdorff space / First-countable space / Filter / Topological space / Disjoint union / Open set / Topological vector space / Topology / General topology / Sequential space

I-CONTINUITY IN TOPOLOGICAL SPACES Martin Sleziak Abstract. In this paper we generalize the notion of I-continuity, which was defined in [1] for real functions, to maps on topological spaces. We study the classes of

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English - Date: 2004-01-31 17:04:36
250General topology / Filter / Order theory

15102-200605EXTHALFMFL01.xls

Add to Reading List

Source URL: www.sea.com.au

Language: English - Date: 2008-11-27 05:17:39
UPDATE